$\forall$$g$, $h$:GrpSig, $f$:MonHom($g$,$h$). $f$(e) = e $\in$ $\mid$$h$$\mid$